A Formal Basis for Reasoning on Programmable QoS
نویسندگان
چکیده
The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the development of the novel wide area network applications. In this paper, we introduce a foundational model for specification of QoS attributes at application level. The model handles QoS attributes as semantic constraints within a graphical calculus for mobility. In our approach QoS attributes are related to the programming abstractions and are exploited to select, configure and dynamically modify the underlying system oriented QoS mechanisms.
منابع مشابه
Formalizing Multimedia QoS Constraints Using Actors
The vision of future information systems is that diierent forms of information are potentially accessible at anytime through the Internet. We describe challenges in the modeling and speciication of timing related multimedia (MM) services in open distributed systems. Management of multimediaservices in an open system is complicated by the heterogeneity of application requirements, multimedia inf...
متن کاملQuality of Service-Driven Requirements Analyses for Component Composition: A Two-Level Grammar++ Approach1
Component-based software engineering offers the opportunity to assemble entire systems from components. When applied to Distributed Real-Time and Embedded (DRE) systems, which components to assemble and how to assemble them are determined not only from functional correctness criteria but also assurance of the system’s quality of service (QoS). This paper presents a grammatical QoSdriven approac...
متن کاملQuality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach
Component-based software engineering offers the opportunity to assemble entire systems from components. When applied to Distributed Real-Time and Embedded (DRE) systems, which components to assemble and how to assemble them are determined not only from functional correctness criteria but also assurance of the system’s quality of service (QoS). This paper presents a grammatical QoSdriven approac...
متن کاملFormal user models and methods for reasoning about interactive behaviour
User models allow for usability decisions to be made about abstract system designs. Programmable User Models are one such approach to user modelling; they have been developed over the past decade so that they now cover a wide range of informal, semi-formal and fully formal approaches. In this paper we briefly review the approaches investigated, thus setting out a context for Programmable User M...
متن کاملAspect-Oriented QoS Modeling for Cyber-Physical Systems
Cyber-physical systems (CPSs) are physical and engineered systems whose operations are monitored. Cyberphysical systems having quality-of-service (QoS) requirements driven by the dynamics of the physical environment in which they operate, the description, control, management, consultation and guarantee of QoS are very complex and challenging work, Quality of Service(QoS) is directly related to ...
متن کامل